knowledge n. 1.知識(shí);學(xué)識(shí),學(xué)問。 2.了解,理解;消息。 3.認(rèn)識(shí)。 4.〔古語〕學(xué)科。 5.〔古語〕性關(guān)系。 book knowledge書本知識(shí)。 K- is power. 〔諺語〕知識(shí)就是力量。 practical knowledge實(shí)際的知識(shí)。 secondhand knowledge第二手知識(shí),傳授來的知識(shí)。 working knowledge of French 法語知識(shí)學(xué)到能應(yīng)用的地步。 I have no knowledge of London. 我對(duì)倫敦毫無所知。 It is within your knowledge that ... 這是你所知道的。 The knowledge of our victory caused great joy. 我們獲得勝利的消息傳來,萬眾歡騰。 perceptual knowledge感性認(rèn)識(shí)。 logical [rational] knowledge理性認(rèn)識(shí)。 the theory of knowledge【哲學(xué)】認(rèn)識(shí)論。 branches of knowledge學(xué)科。 carnal knowledge性經(jīng)驗(yàn);【法律】性關(guān)系。 come to sb.'s knowledge被某人知道。 common [general] knowledge眾所周知,常識(shí)。 grow out of (sb.'s) knowledge被忘掉了。 have some [a general, a thorough] knowledge of 懂得一點(diǎn),懂得一個(gè)大概,精通。 not to my knowledge我知道并不是那樣。 out of all knowledge(變得)認(rèn)不出來,無法辨認(rèn)。 to my knowledge據(jù)我知道。 to sb.'s certain knowledge據(jù)某人確知。 to the best of my knowledge據(jù)我所知,就我所知而論(=so far as I know)。 Too much knowledge makes the head bald. 〔諺語〕知識(shí)太多老得快。 without sb.'s knowledge 不通知某人,背著某人。
Based on the above research work , a prototype of visualized management tool for temporal knowledge is put forward 最后,對(duì)時(shí)態(tài)知識(shí)的可視化管理展開研究。
( ii ) to deal with the timeliness , regionalism and complexity of college board management policy , we proposed the concept of temporal knowledge and its formalization 針對(duì)這些特點(diǎn)我們提出時(shí)態(tài)知識(shí)的概念,研究了時(shí)態(tài)知識(shí)的形式化表示方法以及在cbmdis中的實(shí)現(xiàn)方法。
Second , temporal logic is adopted to describe the temporal attributes of the static knowledge and the temporal relations , constraints of the dynamic knowledge , with which are dealt as isolated temporal knowledge 二、采用時(shí)態(tài)邏輯描述靜態(tài)知識(shí)的時(shí)態(tài)屬性以及動(dòng)態(tài)知識(shí)的時(shí)態(tài)關(guān)系和約束,把它們獨(dú)立出來作為時(shí)態(tài)知識(shí)進(jìn)行處理。
At last , we proposed the concept of temporal knowledge in cbmdis . ( iii ) to improve the efficiency of information collection in the system and make the performances of fact management distinct operations , we used the event technology initiative ( 3 )為提高系統(tǒng)中信息采集處理的效率,更好地實(shí)現(xiàn)事實(shí)與知識(shí)處理的功能分離,本系統(tǒng)引用了主動(dòng)數(shù)據(jù)庫中的“事件”技術(shù)。
Thirdly , the ookr model is extended as the ooktr with the component to describe the temporal knowledge , and then it forms the model of ootkr . moreover , the bnf semantics and structures of this model are given . furthermore , the prototype of the visualized management tool for temporal knowledge is shown on the base of the former work 三、在面向?qū)ο蟮闹R(shí)表達(dá)模型結(jié)構(gòu)中擴(kuò)展了描述時(shí)態(tài)知識(shí)的部分,使之成為面向?qū)ο蟮臅r(shí)態(tài)知識(shí)表達(dá)模型,進(jìn)而給出了bnf語法和結(jié)構(gòu)描述,并提出了時(shí)態(tài)知識(shí)可視化管理的原型。
As the verification of the theory , the temporal knowledge of sidss is re - described with the ootkm on the base of the former related research work . besides , some examples are taken to show how to describe the structured temporal knowledge and the non - structured temporal knowledge . a prototype of the visualized management tool for temporal knowledge is also shown with the example 作為理論的驗(yàn)證,本文在總結(jié)前期相關(guān)工作的基礎(chǔ)上,應(yīng)用該模型重新描述了sidss中的時(shí)態(tài)知識(shí),詳細(xì)舉例說明了如何描述結(jié)構(gòu)化時(shí)態(tài)知識(shí)和非結(jié)構(gòu)化時(shí)態(tài)知識(shí),并給出了時(shí)態(tài)知識(shí)可視化管理工具的原型,介紹了其結(jié)構(gòu)和原理。
Secondly , three main blanches of temporal logic , which are linear - time temporal logic , branching - time temporal logic and interval temporal logic , are further introduced . moreover , the ootkm with its bnf formal descriptions are put forward and further study about the methods to represent temporal knowledge are introduced . moreover , the inference mechanism and algorithm are also analyzed 其次,進(jìn)一步描述了時(shí)態(tài)邏輯的三大分支:線性時(shí)態(tài)邏輯、分支時(shí)態(tài)邏輯以及分區(qū)時(shí)態(tài)邏輯;然后引入面向?qū)ο蟮臅r(shí)態(tài)知識(shí)表達(dá)模型,給出了其bnf語法,分析如何描述領(lǐng)域時(shí)態(tài)知識(shí),并研究了時(shí)態(tài)知識(shí)推理機(jī)制和算法。